Compiling propositional weighted bases
نویسندگان
چکیده
منابع مشابه
Compiling propositional weighted bases
In this paper, we investigate the extent to which knowledge compilation can be used to improve model checking and inference from propositional weighted bases. We first focus on the compilability issue for both problems, deriving mainly non-compilability results in the case preferences are subject to change. Then, we present a general notion of -normal weighted base that is parametrized by a tra...
متن کاملCompilation of propositional weighted bases
In this paper, we investigate the extent to which knowledge compilation can be used to improve inference from propositional weighted bases. We present a general notion of compilation of a weighted base that is parametrized by any equivalence–preserving compilation function. Both negative and positive results are presented. On the one hand, complexity results are identified, showing that the inf...
متن کاملCompiling Possibilistic Knowledge Bases
Possibilistic knowledge bases gather propositional formulas associated with degrees belonging to a linearly ordered scale. These degrees reflect certainty or priority, depending if the formulas encode pieces of beliefs or goals to be pursued. Possibilistic logic provides a simple format that turns to be useful for handling qualitative uncertainty, exceptions or preferences. The main result of t...
متن کاملCompiling Stratified Belief Bases
Many coherence-based approaches to inconsistency handling within propositional belief bases have been proposed so far. They consist in selecting one or several preferred consistent subbases of the given (usually inconsistent) stratified belief base (SBB), then using classical inference from some of the selected subbases. Unfortunately, deciding the corresponding inference relations is typically...
متن کاملPropositional Knowledge Bases Merging
This paper concentrates on merging knowledge repositories representing different viewpoints, with all of them subject to updates and revisions. A set of criteria of interest is defined. On the basis, different approaches are reviewed, which are assessed with respect to these criteria.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2004
ISSN: 0004-3702
DOI: 10.1016/j.artint.2004.04.005